%0 Thesis
%4 sid.inpe.br/mtc-m18@80/2009/03.27.19.17
%2 sid.inpe.br/mtc-m18@80/2009/03.27.19.17.06
%T Um sistema para execução de especificações JSD
%J A system for executing JSD specifications
%D 1988
%8 1988-06-08
%9 Dissertação (Mestrado em Computação Aplicada)
%P 207
%A Ambrosio, Ana Maria,
%E Dias, Luiz Alberto Vieira (presidente),
%E Velasco, Flávio Roberto Dias (orientador),
%E Jino, Mário,
%E Simoni, Paulo Ouvera,
%I Instituto Nacional de Pesquisas Espaciais (INPE)
%C São José dos Campos
%K modelo operacional, especificação executável, método JSD, especificação de requisito de software, software requiremenht specification, operating model, executable specification, (JSD) method, Jackson System Development.
%X Modelos operacionais para desenvolvimento de software foram propostos como uma alternativa aos modelos convencionais (específica, projeta e implementa). Um dos princípios básicos dos modelos operacionais é que e possível executar diretamente a especificação de requisitos de software. Neste trabalho, o método CTSD ("Jackson System Development") e considerado como um modelo operacional e, para tanto, uma linguagem e um esquema são propostos que possibilitem a execução de especifica JSD. É, também, implementado um sistema que analisa especifica e permite que elas sejam executadas. ABSTRACT: The operational approach for software development was suggested as an alternative to the conventional approach (specify, project and implement). One of the basic principles of the operational approach is the direct execution of the software requirements specification. In this work, the JSD approach ("Jackson System Development") is considered as an operational approach and, as such, a language and a scheme are proposed that make possible the execution of JSD specifications. It is also implemented a system that analyzes specifications and allows their execution.
%@language pt
%3 publicacao.pdf